KF metamodel formalization
نویسندگان
چکیده
The KF metamodel [Keet and Fillottrani, 2013, Keet and Fillottrani, 2014] is a comprehensive unifying metamodel covering the static structural entities and constraints of UML Class Diagrams (v2.4.1), ER, EER, ORM, and ORM2, and intended to boost interoperability of common conceptual data modelling languages. It was originally designed in UML with textual constraints, and in this report we present its formalisations in FOL and OWL, which accompanies the paper that describes, discusses, and analyses the KF metamodel in detail. These new formalizations contribute to give a precise meaning to the metamodel, to understand its complexity properties and to provide a basis for future implementations.
منابع مشابه
Formalization of the UML Metamodel: An Approach Based Upon the Four-Layer Metamodeling Architecture
Modeling tools move towards more and more abstract approaches such as metamodels and the four-layer metamodeling architecture. We address modeling tools using the UML metamodel as a core. We propose a fourlayer metamodeling architecture based upon a two-fold structure of metametamodel and metamodel layers. The meta-metamodel layer is populated with a lattice of modeling paradigms that are insta...
متن کاملA Metamodel for Collaboration Formalization
This paper presents a metamodel formalizing collaboration of heterogeneous entities (organizations, agencies, companies, intelligent agents...). Initially developed to support crisis management, this metamodel has been extended to any objective driven work of collaborative networks (CN). This formalism embeds all concepts (and inter-relations between them) required to represent any collaborativ...
متن کاملChange Impact Analysis based on Formalization of Trace Relations for Requirements
Evolving customer needs is one of the driving factors in software development. There is a need to analyze the impact of requirement changes in order to determine possible conflicts and design alternatives influenced by these changes. The analysis of the impact of requirement changes on related requirements can be based on requirements traceability. In this paper, we propose a requirements metam...
متن کاملA Metamodeling Approach for Reasoning about Requirements
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies often customize a given approach to their specific needs. Thus, we seek a solution that allows customization in a systematic way. In this paper, we propose a metamodel for requirements models (called core metamodel) an...
متن کاملPrecise and Formal Metamodeling with the Business Object Notation and PVS
A modeling language consists of both a notation and a metamodel, the latter of which captures the syntactic wellformedness constraints that all valid models must obey. We present two versions of a metamodel for an industrialstrength object-oriented modeling language, BON. The first version of the metamodel, written in BON itself, is intended to give a precise and understandable description of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1412.6545 شماره
صفحات -
تاریخ انتشار 2014